#main-menu{
  background-color: #373d41;
  height: 60px;
  color: white;
  padding: 15px;
}

#main-menu a{
  display: inline-block;
  padding: 5px 25px;
  color: white;
}
#main-menu a:hover{
  color: grey;
}
#main-menu .infos{
  padding: 5px 15px;
  color: white;
}
.html_title{
  font-size: 20px;
  font-weight: bold;
  display: inline;
}
.menu-top-link{
  border-left: 1px solid lightgrey;
}
.branch-list>div{
  height: 40px;
  line-height: 40px;
  padding-left: 20px;
}
.branch-list>div:hover{
  color: lightskyblue;
}
.log-command-text{
  font-size: 15px;
  color: blue;
  padding: 10px 0;
}
.log-command-result{
  background-color: slategrey;
  color: white;
  padding: 5px 0 5px 20px;
}
.commands-list{
  padding: 10px;
}
.commands-list lable{
  padding-left: 5px;
  font-size: 14px;
}
.project-show-page-log-block, .branch-infos{
  height: 480px;
  overflow-y: auto;
}